Maple est le logiciel de référence en matière de calcul formel. Il est propriétaire et payant.
Si vous souhaitez utiliser un équivalent libre, tournez-vous vers maxima ou mathomatic.
Voir le Wiki anglais.